tools: Use os.system instead of exec to start xentop.
authorKeir Fraser <keir.fraser@citrix.com>
Wed, 12 Dec 2007 10:04:29 +0000 (10:04 +0000)
committerKeir Fraser <keir.fraser@citrix.com>
Wed, 12 Dec 2007 10:04:29 +0000 (10:04 +0000)
commit9b64cdda453768d7c01dd38ed33c1c7c3678ff0a
tree7cb23c74d5a15d7d8e0b56be5031d281ddb8b6a9
parent012e2baf8715017d82c4d264dcd36bed286a3bca
tools: Use os.system instead of exec to start xentop.

This makes no difference to the visible behaviour of "xm top" but
avoids the whole of xm from quitting if you're in "xm shell".  This
provides the more intuitive behaviour of returning to the xm shell
interface after leaving xm top.

Signed-off-by: Mark Williamson <mark.williamson@cl.cam.ac.uk>
tools/python/xen/xm/main.py